This software is distributed under the 2-clause BSD license.
The software contains Java classes from JDD, a Java BDD library
developed by Arash Vahidi.
JDD is free software distributed under the zlib license.
